To appear in the Proceedings of the 2014 IEEE Intl. Conf. on Robotics and Automation (ICRA2014) A Sampling-Based Strategy Planner for Nondeterministic Hybrid Systems Morteza Lahijanian, Lydia E. Kavraki, and Moshe Y. Va

Source URL: www.cs.rice.edu

Proceedings of the 1998 IEEE International Conference on Computer Vision, Bombay, India Bilateral Filtering for Gray and Color Images C. Tomasi 

Source URL: www.cs.duke.edu

Published in Proceedings of the 17th IEEE Computer Security Foundations Workshop, 2004, pages 236–250. By Reason and Authority: A System for Authorization of Proof-Carrying Code Nathan Whitehead Department of Computer

Source URL: www.cs.berkeley.edu

• Model theory
• Formal methods
• Propositional calculus
• Predicate logic
• Function
• Lambda calculus
• Forcing
• Well-formed formula
• Atomic formula
• Logic
• Mathematical logic
• Mathematics

Proceedings of the 2004 IEEE InternationalConference on Robotics 8 Automation New Orleans, LA Aprll2004 Free-Roaming Planar Motors: Toward Autonomous Precision Planar Mobile Robots

Source URL: www.ri.cmu.edu

• Physics
• Motion
• Francis Forcer
• Platen
• Linear motor
• Bearing
• Stepper motor
• Fluid bearing
• Machine
• Electric motors
• Technology
• Automation

Proceedings of the 1997 ASEE/IEEE Frontiers in Education Conference, November 5-8, 1997 MSUCL-1064 Using Networked Tools to Enhance Student Success Rates in Large Classes1

Source URL: www.lon-capa.org

• Concept inventory
• Knowledge
• Education
• Distance education
• E-learning

From Proceedings of the 25th Hawaii International Conference on System Sciences (HICSS-25), Vol. I, pp. 720–729. Copyright  1992 IEEE. All Rights Reserved. A Model for Address-Oriented Software and Hardware Walter R

Source URL: waltersmith.us

• Pointer
• Reference
• Memory address
• Address space
• Translation lookaside buffer
• Memory management unit
• Spring
• Garbage collection
• Page fault
• Virtual memory
• Computing
• Computer hardware

To appear in Proceedings of the 1994 IEEE Computer Conference, San Francisco. Copyright © 1994 IEEE The Newton Operating System Robert Welland†, Greg Seitz†, Lieh-Wuu Wang,

Source URL: waltersmith.us

• Memory management
• Computer hardware
• Kernel
• Operating system
• Architecture of Windows NT
• Page table
• Memory management unit
• C dynamic memory allocation
• Newton
• Virtual memory
• Computing
• Computer architecture

Proceedings of the IEEE Second International Symposium on Requirements Engineering, pp2-8; ACM Press, Problems & Requirements Michael Jackson 101 Hamilton Terrace, London NW8 9QX England MAJ Consulting Ltd

Source URL: mcs.open.ac.uk

• Problem frames approach
• Systems analysis
• Domain
• X Window System
• Frame
• Moving frame
• Requirement
• Heuristic
• Control theory
• Software
• Software requirements
• Systems engineering

Proceedings of the 2006 IEEE International Conference on Robotics and Automation Orlando, Florida - May 2006 A Hardware-in-the-Loop Test Rig for Designing Near-Earth Aerial Robotics Vefa Narli and Paul Y. Oh∗ Drexel Au

Source URL: prism2.mem.drexel.edu

• Robot
• Technology
• Robotics
• Synthetic vision system
• Oxygen sensor

Proceedings of the First IEEE International Conference on Semantic Computing (ICSC 2007), 421–428. ©2007 IEEE Harnessing Language in Mobile Environments Boris Katz, Gary Borchardt, Sue Felshin and Federico Mora MIT Co

Source URL: start.csail.mit.edu

• Mobile technology
• Computing
• Mobile computers
• Technology
• Mobile device